Principle of mathematical induction